Implement console for Mini-os and also fix 2 bugs:
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Wed, 15 Mar 2006 19:25:50 +0000 (20:25 +0100)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Wed, 15 Mar 2006 19:25:50 +0000 (20:25 +0100)
commita54b2baac24a08b82791ede1491f31ce9408af3f
treee6504405ba4086d61b1aa41e0122f0828e02dca1
parent7999d904265804ce344cf05a6bdf76429439f9a8
Implement console for Mini-os and also fix 2 bugs:
a) in initialising new page table frames
b) in initialising idle thread.

Signed-off-by: Grzegorz Milos <gm281@cam.ac.uk>
extras/mini-os/Makefile
extras/mini-os/console/console.c [new file with mode: 0644]
extras/mini-os/console/xencons_ring.c [new file with mode: 0644]
extras/mini-os/events.c
extras/mini-os/include/lib.h
extras/mini-os/kernel.c
extras/mini-os/lib/printf.c
extras/mini-os/mm.c
extras/mini-os/sched.c